formal definition

The principle and method for the definition of sport include multidimensionality, broad sense, narrow sense, formal nature, and non formal nature.

体育概念界定的原则和方法包括多维性、广义性和狭义性、正式性和非正式性。

This paper introduces design and implementation of test driver in test automaton, presents test case and test results of drivers interface formal definition, puts forward a kind of in general "client/ service" test driver model and implementation.

介绍了测试自动机的测试驱动器设计与实现技术，给出了测试驱动器接口的测试用例、测试输出的形式化定义，提出了一种通用的客户/服务测试驱动模型及其实现技术。

The formal parameter list of a macro definition uses the identifier more than once.

宏定义的形参表多次使用该标识符.

They gave the formal definition of Turing reduction in terms of oracle Turing machine ( OTM ).

他们用oracle图灵机 ( OTM ) 模型给出了图灵归约的形式定义.

For, only if the definition of contract base on the promise, we can explain the most three familiar contract& unilateral contract, bilateral contract and formal contract.

因为只有建立在允诺基础之上的契约概念，才能同时解释三种最为常见的合同&单边（unilateral）合同、双边（bilateral）合同和要式（formal）合同。

In order to inquiry into function dependency in data base, the formal definition and semantics of dependency of knowledge are also discussed in the paper.

为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。

What is its formal definition?

它的正式定义是 什么 ?

The formal semantics of programming languages can provide concise and precise language definition. It helps people not only to understand well the language, but also to standardization of language.

程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。